退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:直觉类型理论的可判定性在功能上是可判定的
S. VALENTINI;
机译:内涵式理论的语义与可判定方程理论的扩展
机译:构造型理论中CTL的完整性和可判定性结果
机译:建构型理论中CTL的完整性和可判定性结果
机译:密区型理论的语义与可解除的公正理论延伸
机译:具有可预测的绑定预测的正式直觉集合论。
机译:普通从业者如何根据冲突的规范集的要求决定行动准则:一项扎根的理论研究
机译:直觉型理论中的可判定性在功能上是可判定的
机译:确定并行程序功能方案的等价性
机译:反映泊车空间曲线的泊车位置和泊车辅助设备的方法,能够根据道路类型确定泊车位置
机译:为了确定X射线束的位置,系统将决定X射线束在多层结构中的位置
机译:具有真正意义的功能决定的片材和具有相同功能的片状体的片材
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。